Optimal. Leaf size=175 \[ \frac{4 (2 A-B) \tan ^3(e+f x)}{63 a^2 c^5 f}+\frac{4 (2 A-B) \tan (e+f x)}{21 a^2 c^5 f}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 f \left (c^5-c^5 \sin (e+f x)\right )}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 c^3 f (c-c \sin (e+f x))^2}+\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.324576, antiderivative size = 175, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 4, integrand size = 36, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.111, Rules used = {2967, 2859, 2672, 3767} \[ \frac{4 (2 A-B) \tan ^3(e+f x)}{63 a^2 c^5 f}+\frac{4 (2 A-B) \tan (e+f x)}{21 a^2 c^5 f}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 f \left (c^5-c^5 \sin (e+f x)\right )}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 c^3 f (c-c \sin (e+f x))^2}+\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2967
Rule 2859
Rule 2672
Rule 3767
Rubi steps
\begin{align*} \int \frac{A+B \sin (e+f x)}{(a+a \sin (e+f x))^2 (c-c \sin (e+f x))^5} \, dx &=\frac{\int \frac{\sec ^4(e+f x) (A+B \sin (e+f x))}{(c-c \sin (e+f x))^3} \, dx}{a^2 c^2}\\ &=\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3}+\frac{(2 A-B) \int \frac{\sec ^4(e+f x)}{(c-c \sin (e+f x))^2} \, dx}{3 a^2 c^3}\\ &=\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 c^3 f (c-c \sin (e+f x))^2}+\frac{(5 (2 A-B)) \int \frac{\sec ^4(e+f x)}{c-c \sin (e+f x)} \, dx}{21 a^2 c^4}\\ &=\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 c^3 f (c-c \sin (e+f x))^2}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 f \left (c^5-c^5 \sin (e+f x)\right )}+\frac{(4 (2 A-B)) \int \sec ^4(e+f x) \, dx}{21 a^2 c^5}\\ &=\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 c^3 f (c-c \sin (e+f x))^2}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 f \left (c^5-c^5 \sin (e+f x)\right )}-\frac{(4 (2 A-B)) \operatorname{Subst}\left (\int \left (1+x^2\right ) \, dx,x,-\tan (e+f x)\right )}{21 a^2 c^5 f}\\ &=\frac{(A+B) \sec ^3(e+f x)}{9 a^2 c^2 f (c-c \sin (e+f x))^3}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 c^3 f (c-c \sin (e+f x))^2}+\frac{(2 A-B) \sec ^3(e+f x)}{21 a^2 f \left (c^5-c^5 \sin (e+f x)\right )}+\frac{4 (2 A-B) \tan (e+f x)}{21 a^2 c^5 f}+\frac{4 (2 A-B) \tan ^3(e+f x)}{63 a^2 c^5 f}\\ \end{align*}
Mathematica [A] time = 1.10471, size = 329, normalized size = 1.88 \[ \frac{\left (\cos \left (\frac{1}{2} (e+f x)\right )-\sin \left (\frac{1}{2} (e+f x)\right )\right ) \left (\sin \left (\frac{1}{2} (e+f x)\right )+\cos \left (\frac{1}{2} (e+f x)\right )\right ) (180 (31 A-5 B) \cos (e+f x)-6912 (2 A-B) \cos (2 (e+f x))-18432 A \sin (e+f x)-4185 A \sin (2 (e+f x))-1024 A \sin (3 (e+f x))-1860 A \sin (4 (e+f x))+3072 A \sin (5 (e+f x))+155 A \sin (6 (e+f x))+310 A \cos (3 (e+f x))-6144 A \cos (4 (e+f x))-930 A \cos (5 (e+f x))+512 A \cos (6 (e+f x))+9216 B \sin (e+f x)+675 B \sin (2 (e+f x))+512 B \sin (3 (e+f x))+300 B \sin (4 (e+f x))-1536 B \sin (5 (e+f x))-25 B \sin (6 (e+f x))-50 B \cos (3 (e+f x))+3072 B \cos (4 (e+f x))+150 B \cos (5 (e+f x))-256 B \cos (6 (e+f x))-10752 B)}{64512 a^2 c^5 f (\sin (e+f x)-1)^5 (\sin (e+f x)+1)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.118, size = 277, normalized size = 1.6 \begin{align*} 2\,{\frac{1}{{a}^{2}f{c}^{5}} \left ( -1/9\,{\frac{4\,A+4\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{9}}}-1/8\,{\frac{16\,A+16\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{8}}}-1/7\,{\frac{34\,A+32\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{7}}}-1/6\,{\frac{46\,A+40\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{6}}}-1/2\,{\frac{1}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{2}} \left ( 9/2\,A+{\frac{13\,B}{8}} \right ) }-{\frac{1}{\tan \left ( 1/2\,fx+e/2 \right ) -1} \left ({\frac{57\,A}{64}}+{\frac{5\,B}{64}} \right ) }-1/4\,{\frac{1}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{4}} \left ({\frac{59\,A}{2}}+{\frac{39\,B}{2}} \right ) }-1/3\,{\frac{1}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{3}} \left ({\frac{57\,A}{4}}+{\frac{59\,B}{8}} \right ) }-1/5\,{\frac{1}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{5}} \left ({\frac{175\,A}{4}}+{\frac{135\,B}{4}} \right ) }-1/2\,{\frac{-A/16+B/16}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) +1 \right ) ^{2}}}-1/3\,{\frac{A/16-B/16}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) +1 \right ) ^{3}}}-{\frac{1}{\tan \left ( 1/2\,fx+e/2 \right ) +1} \left ({\frac{7\,A}{64}}-{\frac{5\,B}{64}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.14971, size = 1347, normalized size = 7.7 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.77727, size = 439, normalized size = 2.51 \begin{align*} \frac{8 \,{\left (2 \, A - B\right )} \cos \left (f x + e\right )^{6} - 36 \,{\left (2 \, A - B\right )} \cos \left (f x + e\right )^{4} + 15 \,{\left (2 \, A - B\right )} \cos \left (f x + e\right )^{2} +{\left (24 \,{\left (2 \, A - B\right )} \cos \left (f x + e\right )^{4} - 20 \,{\left (2 \, A - B\right )} \cos \left (f x + e\right )^{2} - 14 \, A + 7 \, B\right )} \sin \left (f x + e\right ) + 7 \, A - 14 \, B}{63 \,{\left (3 \, a^{2} c^{5} f \cos \left (f x + e\right )^{5} - 4 \, a^{2} c^{5} f \cos \left (f x + e\right )^{3} -{\left (a^{2} c^{5} f \cos \left (f x + e\right )^{5} - 4 \, a^{2} c^{5} f \cos \left (f x + e\right )^{3}\right )} \sin \left (f x + e\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.27133, size = 479, normalized size = 2.74 \begin{align*} -\frac{\frac{21 \,{\left (21 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - 15 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} + 36 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) - 24 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 19 \, A - 13 \, B\right )}}{a^{2} c^{5}{\left (\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 1\right )}^{3}} + \frac{3591 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{8} + 315 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{8} - 19656 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{7} + 756 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{7} + 56196 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{6} - 4200 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{6} - 95760 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{5} + 11340 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{5} + 107730 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{4} - 14994 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{4} - 79464 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{3} + 13356 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{3} + 38484 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - 6768 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - 10944 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 2196 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 1615 \, A - 209 \, B}{a^{2} c^{5}{\left (\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) - 1\right )}^{9}}}{2016 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]